abstraction verification
抽象验证
热门查询
- lossy adj. 有损耗的
- maroon n. 褐红色；逃亡黑人奴隶；孤立的人 v. 使孤立；放逐到无人岛上 adj. 褐红色的
- eastwood n. 伊斯威特
- junkman n. 拾破烂者；拾废铁者
- fibrocystic adj. 纤维囊性的
- censored v. 审查；删掉（censor的过去分词） adj. 设限，被检查过的
- affliction n. 苦难；苦恼；折磨
- sheathe vt. 覆盖；插入鞘；包装
- Iglesia [地名] [阿根廷] 伊格莱西亚
- exemplification n. 范例；模范
- encircling v. 包围；环绕（encircle的ing形式）
- intelligible adj. 可理解的；明了的；仅能用智力了解的
- creditability n. 可信性
- Morgans 摩根(男子名)
- phlebotomy n. 刺骼；放血
- perfected v. 使…完美，使…熟练（perfect的过去形式）
- hereof adv. 于此；关于此点
- Gandhi n. 甘地（印度政府、社会和宗教领袖）
- contessa n. 女伯爵；伯爵夫人 n. (Contessa)人名；(意)孔泰萨
- vibrator n. 振动器；[电子] 振子；振动按摩器；振动滚筒；簧片
